ar X iv : c s / 99 10 00 1 v 1 [ cs . C C ] 1 O ct 1 99 9 Fixed - Parameter Tractability and Logic

نویسندگان

  • Jörg Flum
  • Martin Grohe
چکیده

We exhibit a close connection between parameterized complexity theory and logic. Our approach is that of descriptive complexity theory. We study the definability of parameterized problems and try to obtain information about the parameterized complexity of the problems through the syntactical structure of the defining sentences. On the one hand, we use this approach to prove that certain problems are fixed-parameter tractable because they can be defined by syntactically simple formulas. On the other hand, we characterize classes of intractable problems by syntactical means.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : c s / 99 08 00 6 v 1 [ cs . C G ] 1 1 A ug 1 99 9 Computational Geometry Column 36

Two results in “computational origami” are illustrated. Computational geometry has recently been applied to solve two open problems in “origami mathematics.”

متن کامل

ar X iv : f un ct - a n / 97 07 00 9 v 1 2 8 Ju l 1 99 7 One - parameter representations on C ∗ - algebras

Strongly continuous one-parameter representations on a C *-algebra A and their extension to the multiplier algebra are investigated. We also give a proof of the Stone theorem on Hilbert C *-modules and look into some related problems.

متن کامل

ar X iv : h ep - l at / 9 71 00 37 v 1 9 O ct 1 99 7 1

We compute the lower moments of the structure functions of π and ρ. Of particular interest are the spin-dependent structure functions of the ρ as they give new information about quark binding effects.

متن کامل

ar X iv : c s / 01 10 03 8 v 1 [ cs . C C ] 1 8 O ct 2 00 1 Counting Is Easy †

For any fixed k, a remarkably simple single-tape Turing machine can simulate k independent counters in real time.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999